extract:

fetch:
	rm -f fetched/*
	wget http://www.omg.org/spec/KDM/20080202/08-02-10.xml
	mv 08-02-10.xml fetched/
